nMożna nakładać silne restrykcje na wartości (własne typy, wyrażenia regularne, typy abstrakcyjne) nPozwala na różne struktury dokumentu w zależności od wartości